A logical system that extends classical binary logic to allow for four truth values.

चार सत्य मानों का उपयोग करने वाला तर्क प्रणाली

English Usage: "In four-valued logic, both true and false can coexist in certain conditions."

Hindi Usage: "चार-सत्य तर्क में, कुछ परिस्थितियों में सत्य और असत्य का सह-अस्तित्व हो सकता है।"